Project-Team:PESTO


	PDF	e-Pub

Home | Next next

Section: Dissemination

V. Cortier: vice-chair of the ACM Special Interest Group on Logic and Computation (SigLog); vice-chair of the IFIP Wg-1.7 Foundations of Security Analysis.
J. Dreier: GRSRD 2019, Grande Region Security and Reliability Day 2019, Nancy, March 2019 (chair)

V. Cortier: POST 2019, E-VoteID 2019 (Track chair), S&P 2019, CSF 2019, Voting 2020, Concur 2020, S&P 2020
V. Cheval: CSF 2020
J. Dreier: SEC@SAC 2020, 5G-NS 2019, SP5G@ICISSP 2020
L. Hirschi: SEC@SAC 2020
A. Imine : ICEIS 2019, DEXA 2019, VLIoT@VLDB 2019, C2SI 2019
S. Kremer: Euro S&P 2019, Voting 2019, PERR 2019, ESORICS 2019, FSTTCS 2019, CSF 2020, Euro S&P 2020, Voting 2020
C. Ringeissen: UNIF 2019, FroCoS 2019, WRLA 2020, IJCAR 2020, UNIF 2020
M. Rusinowitch: IWSPA 2019, STM 2019, CRISIS 2019, IWSPA 2020

V. Cortier: Information & Computation, Journal of Computer Security, ACM Transactions on Privacy and Security (TOPS, previously TISSEC), Foundations and Trends (FnT) in Security and Privacy

V. Cortier. Keynote speaker at the ACM SIGSAC 14th Workshop on Programming Languages and Analysis for Security (PLAS 2019), London, UK, November 2019.
V. Cortier. Keynote speaker at the 24th European Symposium on Research in Computer Security (Esorics 2019), Luxembourg, September 2019.
V. Cortier. Plenary talk at the 28th edition of Computer Science Logic (CSL 2020), Barcelona, Spain, January 2020.
S. Kremer. Keynote speaker at the ACM SIGSAC 14th Workshop on Programming Languages and Analysis for Security (PLAS 2019), London, UK, November 2019.
V. Cheval. Invited talk at the Rendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, RESSI 2019, Erquy, France, May 2019.

V. Cortier: Member of the W&T5ASP panel of the Research Foundation - Flanders (FWO), Belgium
A. Imine: ANR project expertise
L. Hirschi: ANR project expertise
M. Rusinowitch: FNRS project expertises, Belgium

Inria evaluation committee (S. Kremer)

Inria Committee on Gender Equality and Equal Opportunities (S. Kremer, co-chair)

Jury Junior Research Position Inria Paris (S. Kremer)

Computer science commission of the Doctoral School, Univ Lorraine (L. Vigneron, chair)

Jury Associate Professor at IT University Copenhagen (J. Dreier)

Jury Assistant Professor at EISTI school/ETIS laboratory, Cergy (J. Dreier)

Scientific Council of the Computer Science CNRS Institute INS2I (V. Cortier)

Home | Next next